type A<T
